Nuprl Definition : qabs
11,40
postcript
pdf
qabs(
r
) == if qpositive(
r
) then
r
else -(
r
) fi
latex
clarification:
qabs(
r
) == if qpositive(
r
) then
r
else (-1) *
r
fi
latex
Definitions
#$n
,
-
n
,
r
*
s
,
qpositive(
r
)
,
if
b
then
t
else
f
fi
FDL editor aliases
qabs
origin